Nuprl Definition : ma-tstate
11,40
postcript
pdf
timedState(
ds
) ==
x
:Id
ds
(
x
)?Top
latex
clarification:
timedState(
ds
) ==
x
:Id
fpf-cap(
ds
;IdDeq;
x
;Top)
latex
Definitions
Id
,
x
:
A
B
(
x
)
,
,
f
(
x
)?
z
,
IdDeq
,
Top
FDL editor aliases
ma-tstate
origin
ds(x)?Top
fpf-cap(ds;IdDeq;x;Top) ds(x)?Top
fpf-cap(ds;IdDeq;x;Top) B(x)